(0 18 15)(1 19 3)(2 8 5)(4 13 11)(6 20 12)(7 14 10)(9 17 16)
ALLOWS (11/8)-SEQUENCE
1: (12 17 20)
(0 18 15)(1 19 3)(2 8 5)(4 13 11)(6 20 16 9 17)(7 14 10)(12)
2: (9 17 16)
(0 18 15)(1 19 3)(2 8 5)(4 13 11)(6 20 16)(7 14 10)(9)(12)(17)
3: (4 13 11)
(0 18 15)(1 19 3)(2 8 5)(4)(6 20 16)(7 14 10)(9)(11)(12)(13)(17)
4: (7 14 10)
(0 18 15)(1 19 3)(2 8 5)(4)(6 20 16)(7)(9)(10)(11)(12)(13)(14)(17)